The Exponential Time Hypothesis and the Parameterized Clique Problem
نویسندگان
چکیده
In parameterized complexity there are three natural definitions of fixed-parameter tractability called strongly uniform, weakly uniform and nonuniform fpt. Similarly, there are three notions of subexponential time, yielding three flavours of the exponential time hierarchy (ETH) stating that 3Sat is not solvable in subexponential time. It is known that ETH implies that p-Clique is not fixed-parameter tractable if both are taken to be strongly uniform or both are taken to be uniform, and we extend this to the nonuniform case. We also show that even weakly uniform subexponential time is strictly contained in nonuniform subexponential time. Furthermore, we deduce from nonuniform ETH that no single exponent d allows for arbitrarily good fpt-approximations of clique.
منابع مشابه
Intersection Non-Emptiness for Tree Shaped Finite Automata
In recent work on the Clique problem by Chen, Huang, Kanj, and Xia (2006) it was shown that if k-Clique is solvable in no(k) time, then the exponential time hypothesis is false. In this work, we focus on a related parameterized problem called intersection non-emptiness. We show that if intersection non-emptiness for two tree shaped DFA’s is solvable in O(n2− ) time, then the strong exponential ...
متن کاملLower Bounds Based on the Exponential Time Hypothesis: Edge Clique Cover
In this article we survey algorithmic lower bound results that have been obtained in the field of exact exponential time algorithms and parameterized complexity under certain assumptions on the running time of algorithms solving CNF-Sat, namely Exponential time hypothesis (ETH) and Strong Exponential time hypothesis (SETH).
متن کاملTight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width
We give tight algorithmic lower and upper bounds for some double-parameterized subgraph problems when the clique-width of the input graph is one of the parameters. Let G be an arbitrary input graph on n vertices with clique-width at most w. We prove the following results. – The Dense (Sparse) k-Subgraph problem, which asks whether there exists an induced subgraph of G with k vertices and at lea...
متن کاملThe Parameterized Complexity of k-Biclique
Given a graph G and a parameter k, the k-biclique problem asks whether G contains a complete bipartite subgraph Kk,k. This is the most easily stated problem on graphs whose parameterized complexity is still unknown. We provide an fpt-reduction from k-clique to k-biclique, thus solving this longstanding open problem. Our reduction use a class of bipartite graphs with a threshold property of inde...
متن کاملLaboratoire d ’ Analyses et Modélisation de Systèmes pour l ’ Aide à la Décision UMR 7243 Juin 2012 Exact and approximation algorithms for DENSEST k - SUBGRAPH
The densest k-subgraph problem is a generalization of the maximum clique problem, in which we are given a graph G and a positive integer k, and we search among the subsets of k vertices of G one inducing a maximum number of edges. In this paper, we present algorithms for finding exact solutions of densest k-subgraph improving the standard exponential time complexity of O * (2 n) and using polyn...
متن کامل